Coke-oven gas filters