Michels Hexenstübchen is a restaurant that also offers catering services.