Runtime extension for German nuclear plants has been temporarily suspended. I'm not even sure I could write that down in formal logic.