Merge branch 'master' of git8.cs.fau.de:inf8_staff/TexCommon

1 job for master in 28 seconds (queued for 1 second)