Wilhelm Werner von Zimmern — German judge and historian