Musk verharmlost den Holocaust - wann verlassen deutsche Politiker Twitter?