Title: Otto der Große und Johannes XII.