Pool unused media files

when performing the “remove unused media” function in the pool, and selecting the “remove from Pool” option, not the trash option, where are the files actually removed to?

The files are removed from the pool, but stay in the location on the hard disc you recorded them to.

thanks wolfger,