$NOT quelle pompe