Thank you very much! I think the CISCO power supplies all deliver 48V DC, the important thing is how many amperes, here it seems 0.971A is needed for the model. In the meantime I have found data on the Power Cube 4, and this is also listed as a power supply for the 8800 series, so suitable for the model 8851.