5G-Frequenzauktion bringt britischem Staat 1,6 Mrd. Euro