added Database::dump().