Translation of "To sum things up" in German