6245 ) Rättens ombudsman.