hade namnet Henschel utbytts mot Heidmann Alltså var det mer lycka än konstatt