Text this: Alfons X. von Castilien als römischer König ...