Gasthaus Westensee is a restaurant offering coffee specialties and meals.