Miriam Baglioni 21ce175d17 added FilterFunction specification if filter operation		2020-11-25 13:42:31 +01:00
..
dhp	added FilterFunction specification if filter operation	2020-11-25 13:42:31 +01:00