Oberlahnstein Hotel auf der Höhe, Lahnstein