3 ms·

cutting gas pipes, cables, ...