Federico, konge af Sicilien, se Frederik.