public static TM_Xml_Database delete_Library(this TM_Xml_Database tmDatabase, TM_Library library) { UserGroup.Editor.demand(); tmDatabase.xmlDB_DeleteGuidanceExplorer(library.Id); return tmDatabase; }