replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

New ARMv8 vectors mostly work.

Still crashing on MDB code - something's corrupted.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>