Add a new state deleted (DELED) to instances in DBManager
Merge branch 'dbmanager' into export_support