dripstone

Dripstone [ˊdrɪpstəυn] n

1) архит. слезник; отливина

2) фильтр из пористого камня

Источник: Англо-русский словарь Мюллера на Gufo.me