3533 ) Rättens ombudsman.