Error: Problem with character encoding.
Please try https://www.dict.cc/?s=einr%C3%A4umungssatz