Verwaltung.java: + constructors, getRandomStudent()