ag: wegen '@autoinh symbols' nicht noetig