Drei Arbeiter brauchen zum Ausheben einer Grube 30 Minuten.

Wie lange brauchen sechs Arbeiter, um die Grube auszuheben?