The pump is still working, tested 16 May 2023.
<a href="//commons.wikimedia.org/wiki/User:A.-K._D." title="User:A.-K. D.">A.-K. D.</a>
2023-05-16 13:18:37
<span class="int-own-work" lang="en">Own work</span>