Gandi.net DNS' gone banana?

It seems so. None of the DNS servers of Gandi.net are responding, so my 3 domains are currently gone! That’s HA folks!

Now it’s really a DNS problem!

Update 17:24 CEST: and they’re back!