Allgemeine deutsche Biographie : 25. Ovens - Philipp - Bayerische Akademie der Wissenschaften - Historische Kommission (1887)