Kuinka suuri on Padovan kasvitieteellisen puutarhan pinta-ala?