Today is Pentecost or Whitsun weekend, which is a public holiday in Germany. Well, tomorrow, i.e. Monday is a public holiday and those of us working in school like yours truly get Tuesday off as we…