( Hotell Kung Carl ).