Le 8 mai férié en Allemagne ? La question divise toujours, 80 ans après la fin de la Seconde guerre mondiale