6273 ) Rättens ombudsman.