How Old High German Can Make Our World a Better Place