Is there really an attacker and stolen funds though?

I mean, the contract executed exactly as specified.

If the system was well designed, there would be no way to undo the results. Such a system may never exist, but the fact that ethereum can sometimes change contract results means it isn't living up to its ideals.