gazStore = new GazStoreTrie3();
gazStore = gazStore.load(gazbinFile);
} else {
// otherwise process the files listed in the yaml file
if(backendNr == 1) {
gazStore = new GazStoreTrie1();
} else if (backendNr == 2) {
gazStore = new GazStoreTrie2();
} else if (backendNr == 3) {
gazStore = new GazStoreTrie3();
} else {