( Hotel Royal ,f.