Hinkmars von Rheims kanonistisches Gutachten über die Ehescheidung des Königs Lothar II