the construction of the devil-bridge (1823)