https://granitegrok.com/blog/2021/01/stasi-the-east-german-secret-police-an-account