English:  1 to drain off
German: auslaufen