I see. But here, you can look: 193.192.58.90:27060 (this is NO adverstising for a server!)
If you join on server and tip status in console, there are 2 bots. I added this Server in my favorites and disable the column "Bots" but the server shows still 2 players on it although these are bots