Wie lange kocht man Maiskolben im Schnellkochtopf?