The German higher education system comprises two forms of academic institutions: universities and polytechnics (Fachhochschule). How many students boycott The University of Erfurt?