They were not using it commercially (if I understood correctly) and that was not the point of dispute. The point of this post is that under EU regulations free software can be trademarked, but as there is no reason or payment info to track locations of its users, it could not prove that it was actually used within the EU. The evidence issue was about the location of the users and whether an FOSS project in the EU can realistically have a trademark based on the rules that supposedly allow it to have.

The problem is that this way it seems like an impossible battle. Even if you get location data of stuff like downloads (which is not sth you normally get if for example one clones the repo anyway), you cannot prove the software is actually used, unless you use analytics in the software itself. This sounds important for FOSS in the EU.