Bavarian restaurants ($$)