How can I identify an original Brandt model number?

I have recently relocated permanently to the UK, with among our household effects a dishwasher marketed in Australia under the Kleenmaid brand name as their model no. DW13X. Kleenmaid have since gone bust, so are not available to answer my query below.

The original manufacturer was Brandt, and now that I am in the UK I need to identify the equivalent Brandt model number in the event that the machine needs service. A little retaining bracket in the top tray has in any case broken, and while it's not vital to the machine's operation, it would also assist in its replacement if I could establish that model number.