6637 ) Rättens ombudsman.