2 ms·

Thanks for the pointer to that tool, it worked for me and will probably help me get past a lot more paywalls.