Schlosser, Klempner [19]