‘Gerd Mueller of the East’: Joachim Streich dead at 71