FreeHAL@home has made an arrangement with BOINC@Poland now. We came to the conclusion that no form of real cheating happened, but they used manipulated BOINC clients which are not allowed here, even more if the changes are not published as source code. But that was only the case because some of they misunderstood the GNU GPL.
I will publish clear project rules soon to avoid such issues in future. BOINC clients which have different behaviours than the official one are still not allowed unless there is a clear project page with a basic documentation and source code.