It’s possible to switch your Google Mail Account from @googlemail.com to @gmail.com (and back, as you can see above) now. It has been a while in the UK, just saw it in Germany.
Ein Wechsel/Abänderung einer deutschen Googlemail-Adresse zu einer ‘echten’ Gmail-Adresse (und zurück, s.o.) ist jetzt möglich.
