4395 ) Rättens ombudsman.