German DistSim resources

changes needed for running and testing German redis-based DistSim resources.