adds DB.dump()