I observe exactly the same behaviour as Andreas did on his desktop install, right down to everything being fine when I use /etc/network/interfaces instead of NetworkManager.
I observe exactly the same behaviour as Andreas did on his desktop install, right down to everything being fine when I use /etc/network/ interfaces instead of NetworkManager.