Selling prices for Dutch manufacturing industry up in November