Worst-case error bounds for the super-twisting differentiator in presence of measurement noise. (June 2023)