@hanskaman: thanks for this info!
Another update: a recently published book about the history of Philips Data Systems can be found here. Interestingly, the book claims that the P4200 model was based on the P851 CPU, which is one of the models of Philips' P800 mini computer series. Can anyone...