Matthias, deutscher Kaiser — entry in the Allgemeine Deutsche Biographie