go to the police! 25k BTC are about $500.000, thats crazy! they can investigate and find out who it was.
They can certainly investigate. But they probably won't try very hard. And I hate to say it, but I seriously doubt that the police of all people can "find out who it was."