semester what=2014w search lectures lecturer="Hans-Joerg Martin" noimports show compact codeset=utf8