Wie beweist man, dass ein Blockproduzent FIFO verwendet? (kann man nicht)