3939 ) Rättens ombudsman.