Ludwig Minnigerode — German judge