Bag filter and pocket filter