Le numéro 15 de la gazette du GDR est paru.