Dansk biografisk leksikon - Engelstoft, Povl (Dansk biografisk leksikon, 1940)