Mouse pointer doesn't change shape depending on hovered elements

Solution 1:

It seems it was solely related to the docking station. Reattaching the display port wires did not help but restarting the whole docking station did.