nämligen hotel Royal såsom det bästa.