https://www.dict.cc/german-english/Typpr%C3%BCfung.html