Was verdiente ein General in der DDR?