DNSSEC support is not available as of yet.
Welcome to Hurricane Electric's Tunnelbroker.net forums!
Right now, it seems fixed. The tunnel server of Prague is still emulated in Berlin, like before this outage. It seems that Prague server is gone for good.
Do HE have an option to encapsulate in UDP?