het industrie gebied van Deventer