* database manager is now serializable.