as hotell Royal i Stockholm.