I want to know the answer to the following question:
What aircraft carrier received maintenance at Devonport Dockyard?
All the background I'm provided with is that "The army had substantially left the city by 1971, with barracks pulled down in the 1960s, however the city remains home to the 42 Commando of the Royal Marines.". Is that enough to answer the question?