Allemagne : ce que l’on sait de l’attaque à Munich