muis-DPI stabiliseren