Detergents for industrial use; grease removing agents, namely, degreasing agents for industrial use