6243 ) Rättens ombudsman.