Hans-Heinrich Jescheck (1915-2009),