( Hotell Royal ).