Ampel components from Weizmann group Contains as of Februrary 2023: T0 InfantFilter WeizmannEllipticalFilter