Gedünsteter Blumenkohl.