Ist die Extraktionsdauer programmierbar oder muss man manuell stoppen? Gerade wenn man Besuch hat oder am Morgen noch verpennt ist, bin ich froh, wenn eine Maschine automatisch dosiert.