Już wiem.
W celu wymiany filtra należy zdemontować schowek na rękawiczki (nawet narzędzi do tego nie potrzeba). Za schowkiem jest ukośnie zamontowana blaszka - trzeba ją zdemontować odkręcając dwie śruby. Za tą blaszką jest już filtr pod klapką. Klapkę demontuje się odchylając plastikowe zatrzaski, zaś sam filtr wysuwa się jak szufladę. W sumie praca na 5 minut.