"real numbers" Deutsche bedeutung