4 ms·

Off topic: could anybody recommend, with what (preferably, simple) tool one could make animations like this one?