Gerson, Johannes (1363–1429) - Burger, Christoph (Theologische Realenzyklopädie, 2010)