minuter och femton sekunder alla , som hade tagit plats i teatern , eftergifven