Nils: > I suppose > end-of-war-day isn't properly marked in Germany as such. No, indeed not. The now extinct German Democratic Republic had a "Jahrestag der Befreiung vom Hitlerfaschismus" (May 8th), but I don't think this was an official holiday, either. Gerd