Does removing unused Media from the trash bin in the media pool permanently delete the file if it is part of a Cubase library such as Halion?