4088 ) Rättens ombudsman.