Königswahl und Thronfolge im 12. Jahrhundert (Böhmer, Johann F: Regesta Imperii. Beihefte: Forschungen zur Kaiser- und Papstgeschichte des Mittelalters)