Today is another public holiday here in Germany, Pentecost Monday, or Whitsuntide. May and June are good months for public holidays, what with May Day, Ascension Day, and Pentecost. Unlike public holidays in the US, where sometimes it seems that only the post office...