schau mal hier, gibts zwar keine offiziellen zahlen, aber laut den census dort sind einige server weit über 10k.