4082 ) Rättens ombudsman.