Henzen, Wilhelm — biographical article by Eugen Petersen