— Hödel afrättades i går i Berlin.