" Dansk biografisk Lexikon ”.