Collabora Online 4.2 vorgestellt