Haus der Getreuen is a restaurant.