Translation of "To boot" in German