Proportionalmagnete (Explosionsschutz)