Translation of "Mengenschätzung" in English