[de] Sat-ZF-Verteilung