Thanks for the tip. I tried what you suggested, it had no effect. Phone displays the same behaviour as before.
Does oxidation count as a valid reason to demand a repair at a Nokia Care Point?