Betrieblich auch verwendete Bezeichnung für Magnetscheider.
Jährlich aktualisierte Ausgabe des Nachschlagewerks für das Gießereiwesen.