Kabel Deutschland startet in Mainz mit 200 MBit/s