Otto Holtzendorff — German jurist