Hans Joachim Graevenitz — German jurist