Positivbeispiel: Konsistenz von Pools in Ober- und Unterprozessen