Vodafone Deutschland beendet Public Peering zum Jahresende