Castellum Gibraltar in Andalusia situm cum celebri freto inter Europam et Africam, annexis circumjacentibus portubus et castellis