Ref fuer HypergraphDB indexing hinzugefgt, HypergraphDB konsequent in HyperGraphDB umbenannt