Mains hum as clock source

I looked - that's a serious project !

How is the ac -> dc 400kV achieved ? - and - more interestingly - the 400kVdc -> 50Hz ac at the other end ?

I don't expect they use arduinos.

Just a guess

Allan