The restaurant at the top of the Mannlichen