Hotpixel Removal in Lightroom

I’ve got a hotpixel

Oh my goodness, my camera got a hotpixel. What’s a hotpixel ? To explain that I…absolutely have to do this in German, taking a bow towards the Feuerzangenbowle and a German Star Trek parody “Wat is enne Hotpixel ? Da stelle mer uns mal janz dumm....