German computer scientists 'prove' God exists(spiegel.de)

http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html