Everybody's pocket travel guide to Western Germany /