geheel van economische activiteiten waarbij grootschalig en machinaal kolen worden ontgonnen en tot brandstof verwerkt; deelgebied in de industrie met als activiteit de ontginning en productie van kolen; kolenproducerende industrie geheel van bedrijven die werkzaam zijn in de kolenindustrie, beschouwd in hun totaliteit als bedrijfstak of in een and...