( Hotell Kung Karl ).