The Alameda Gardens are a haven of shade and quietness amid the hustle and bustle of the City of Gibraltar.