Dutch/English typos removed.