Meaning of "Hilbert-Menge" in English language

German to English English to German