Recommend a rotary washing line?

[Hypotenuse]

I have a hole in the garden I assume is for a rotary washing line. Can anyone recommend one that will most likely fit?

Nothing laundry-related is boring, Hypotenuse!

I've been researching rotary lines recently online as I'd like to replace the very elderly one I have, and see that most of them come with a spike nowadays. So if you buy a new line and it comes with a spike you could see if new line fits the existing hole and save yourself the job of hammering a spike into the ground. And if it doesn't fit, hammer the new spike in and use the existing hole for a garden parasol.

The spikes are measured in millimeters. Measure it and see can you get a Brabantia line to fit. It'll outlive you.

Also, I would cement a new spike in, I've never had any luck just hammering the spike in.