Forgot to mention: The mouse pointer is visible again after a single zoom-in, but never with full zoom-out.