For me kb4517389 really seems to have brought the solution!
HP Officejet Pro 8740 and HP Deskjet 3720 both work again flawlessly!
Kind regards from Wulf Gerdts
@Carlos: I think the HP OJ pro 8725 is nearly same machine as my 8740; I think it should work again.