(Erfreulich, dass auch die Geschichte in der DDR erwähnt wird, wenn auch nur am Rande.)