Title: The impact of competition on productivity in Dutch manufacturing