German precognitive cephalopod decides central open question in theoretical computer science. Another great oracle result.