4015 ) Rättens ombudsman.