venndiagram.sty entfernt