( 12711 ) Hotell Bernadotte ( midt emot Carl Johans-parken ).