Nederlandse synoniemen voor 'steenkolenmijn'