Industriearmaturen (Deutsches Institut für Normung: DIN-Taschenbuch, 1998)