Title: [Maps of canals and irrigation in German cities