Då vi likväl gjort detta,