Wie viel rote Linsen?