Translation of "To put an end to" in German