Hausenstein, Wilhelm, Dr.