Washing line hole plug

Plug to go in the hole where a rotary washing line goes. Keeps water out when the line is not present. Fits Brabantia washing line socket.
Scale it in your slicer if you need it to fit a different size tube.