QuickCheck

Farbe
red
5