20k, roughly. Subsidies directly paid to them for just staying home would be much, much less then they are now for RWE and co. And honestly, 20k ain't that much in country of 80+ million people. Alao the problem would be much less severe if we hadn't countinued to actually train new miners until abcouple of years ago. Just keeping the existing ones employed until a very well earned early retirement would have avoided that 20k affected people. But hey, then the utilities and mining companies would have earned a lot less in subsidies.