All the Bierhallen mentioned in V. are likely to have been lifted out of Baedeker; in any case, TRP knows well that the German Bierhalle is a site of considerable social and historical significance, the most famous being the Hofbraeuhaus in Munich -- now more a Disneyfied museum / tourist-trap than in its brownshirt heyday ... Cheers, Paul