af diket kring Tivoliholmen.