Journal officiel de la Haute Commission Alliée en Allemagne = Official gazette of the Allied High Commission for Germany = Amtsblatt der Hohen Alliierten Kommission in Deutschland