British dry dock at Gibraltar was to be further enlarged according to the Dutch magazine Marineblad dated 1938 no. 6

An item referred to the Marine Rundschau dated August 1938 reporting that the dry dock at Gibraltar was to be enlarged making it possible to dock even the largest battleships.