Also bei uns ist es so gelöst:
Die Antenne ist mit den Mastschellen an einem kurzen Stück Rohr montiert, und dieses Rohrstück wird an der Mastspitze auf einen Zapfen gesteckt und mit einem Splint gesichert, nach Anschluß er Antennenkabel wird der Mast ausgefahren.

Lothar