Federico IV puede referirse a: