Grüner Hof is a restaurant and pension.