Wochenlang war das im Grunde alles, was irgendjemand über die Antifa-Bezeichnung gesagt hat.