What is this type of garden appliance power socket?

I've inherited a garden shredder with a missing power cable.

The missing cable plugs into this large 3-pin socket on the body of the shredder where the earth pin is female, and the other two are male.

Googling the make of shredder isn't giving me anything useful. Neither is searching for general garden power extensions etc..

The shredder is from a German manufacturer called Atika, but I am in the UK and it is rebranded as Parkside. I have no idea where the product was purchased.

If it helps, this video shows the power cable being inserted: https://www.youtube.com/watch?v=-Vc36GJsqw0&t=6

Does it look proprietary? Tips appreciated so I know what to search for.