Pikabushniks, in the morning I asked myself this question, is May 9 a holiday in Germany or not? And how is it celebrated, if it is a holiday after all !?