Safety instructions for emergencies

In an emergency, immediately disconnect all supplies (e.g. electrical power supply, coolant supply, compressed air supply, shielding gas supply).

Extinguish burning oil or emulsions using a CO₂ or powder fire extinguisher.