The entire Rock of Gibraltar was turned into a fortress during the war. The civilian population was evacuated, and additional tunnels and artillery placed in the rock. I am not sure that the German siege weapons could have reduced a block of granite into rubble.