Three dutch inventions dating from 17th century