Schraubenausdreher-Satz

64,20