5G-Frequenzen werden im Herbst 2018 versteigert