Mit der Abkürzung „Stasi“ meinte man in der DDR ...