[UPDATE] [mittel] Microsoft Developer Tools: Mehrere Schwachstellen