Eine neue Version des ADS-Skripts wurde hochgeladen. Im Anhang finden sich nun ein paar Tipps zum Thema All- und Existenzquantor, nachdem dies am Freitag in der Vorbesprechung als Problem erkannt wurde.