Bugfix create dom dump
fixed bug in CreateDomDump. Some arrays where allocated more than once without being deallocated. (with reading methods hilbert and select_onthefly).
fixed bug in CreateDomDump. Some arrays where allocated more than once without being deallocated. (with reading methods hilbert and select_onthefly).