Germany may be out of the Euros, but at least it won the World Cup of robot soccer