Deutsches Pseudonymen-Lexikon - Holzmann, Michael