Total area of the Netherlands