Dutch inventions dating from 17th century