Drie duikers in de Haarlemmervaart.