/** Ein Student der Universitaet Karlsruhe */
public class KarlsruherStudent extends Student {

}