Seol mar théacs é seo: "Bürgerkönig" oder "König von Gottes Gnaden"?