How to enable your DVD player to play DivX format video from DVD+R discs

After my Panasonic DMR-EH57 HDD/DVD video recorder refused to play DivX format video from DVD+R discs recorded on my Mac Pro’s ‘SuperDrive’, I looked for a solution and found one, which I will now describe.