Heinrich von Plauen, Hochmeister des deutschen Ordens von 1410-1413 - Gerstenberg, Karl (1873)