Smart Projects Srl actually trademarked Arduino back in... 2008 I think? Before the American organization claiming to be the real Arduino even existed, in any case, and they've publicly stated they knew about that trademark all along and chose not to fight it.