Meist 20–40 Minuten, bei Pumpentausch ca. 45 Minuten.