The Penal Laws of the GDR: documentation (Ministry of Justice of the German Democratic Republic)