https://9dok.net/document/y6e1m455-east-germany.html