For those interested, here is the primary energy use of Germany.
There is still a long way to get rid of coal.
https://jancovici.com/wp-content/uploads/2016/05/chiffres_en...
https://jancovici.com/wp-content/uploads/2016/05/chiffres_en...
Here's a German article from two months ago on that: https://www.deutschlandfunk.de/geothermie-in-deutschland-roa...
440.000 installations so far, mostly surface-near (around 100 m depth).