» Hotel Royal .)