====== Generalschlüssel ======

[[wiki:jargon#Werkstatt|Werkstattjargon]], *[[wiki:spitzname|Spitzname]] für //Bolzenschneider//.