Close #120

Benutzernamen werden in URLs nicht mehr gesondert markiert, weil dann ja
die URL kaputt geht. Außerdem werden "@"-Zeichen vor Benutzernamen
gesondert hervorgehoben.