9 May should be public holiday for all Europeans - comments