https://www.dict.cc/german-english/Menge+der+reellen+Zahlen.html