dua
added anti latex gitignore
proseminar update
cleanup