My enthusiasm jinxed it: after printing about 25 pages, I got the error again. After letting the printer cool down for about an hour I was able to print again, but the printer is clearly not long for this world. Still, thank you - I managed to print ...
Thank you SO much for the scanning suggestion! After going through every possible combination of unplugging, plugging in, turning on and off, cleaning the print head and replacing the ink cartridges, it was the scanning and copying trick that finally...