hade namnet Henschel utbytts mot Heidmann.