en tid , som kunde nyttigare anwändas.