Wer erfand das Ampelmännchen in der DDR?