====== Generalschlüssel ====== [[wiki:jargon#Werkstatt|Werkstattjargon]], *[[wiki:liste_spitznamen|Spitzname]] für //Bolzenschneider//.