Johann August Klipstein — German judge