Franz von Holtzendorff (1829–1889), Strafrecht