How Much Coal is Burnt in Namibia?