A short history of the Netherlands