«Real number» in German with a Parallel Translation