++. As far as your "googly" comments go, you can substitute German umlaut letters with that letter followed by 'e', so Prüfer becomes Pruefer:

http://www.google.com/search?hl=en&ie=UTF-8&oe=UTF-8&q=pruefer+trees&btnG=Google+Search