Grindr is fined $11.7 million under European privacy law.