twisted duality, pairs of projections, CAR-algebra, modular theory