Seol mar théacs é seo: Otto III. oder Heinrich III., ein Streit um das Kaisers Bart?