. . . "On the departure of Covent Garden fruit and vegetable market to Nine Elms in the 1970s, the entire island site occupied by the Opera House and surrounding properties, including property on the opposite side of Floral Street, was acquired." .