ich finde in der Betriebsanleitung keine Hinweise zum Entfernen der Dachantenne. Kann mir nur schwer vorstellen, dass man so durch die Waschanlage fahren kann.
Normalerweise ist das Teil per Hand abzudrehen, aber hier war in der Tat ein erst vorsichtiges und dann massiveres Herangehen mit einer Kombizange erforderlich. Danach mit Rostlöser eingesprüht und jetzt dürfte der Nutzung einer Waschanlage nichts mehr im Wege stehen.
Selbst mit flach auf das Dach gedrückter Antenne durch eine Anlage zu fahren, würde ich mir allerdings verkneifen.