( Hoteli Kung Carl ).