Extradition in 3, 2, 1...
It turns out that Germany does not in fact extradite its own nationals, except to other EU states. Source: http://www.gesetze-im-internet.de/englisch_gg/englisch_gg.ht...
Unfortunately, I don't think this will happen. I would not be surprised if these individuals will never be allowed entry to the US again. People have been turned at the border for less. And similar breach of security events in the past have been prosecuted using terrorism laws.
I do hope that I am wrong, though.