Gretchens is a restaurant within the Hotel Weimar, offering globally-inspired cuisine and a roof terrace.