Gartenklause is a restaurant.