Rasenmühle is a restaurant offering hotel and catering services.