On Both Sides of the Strait of Gibraltar (Studies in the history of medieval astronomy in the Iberian Peninsula and the Maghrib)