Was der "richtige" Name ist, wurde wohl schon häufiger diskutiert. Z.B. im (alten) Forum https://forum.openstreetmap.org/viewtopic.php?id=57949. Damals war die Tendenz, dass die Rechtsform eines Unternehmens nicht unbedingt zum Namen gehört. Diese kann man im Tag "official_name" eintragen, was im vorliegenden Fall ja auch gemacht wurde, so wie auch bei den anderen umliegenden Unternehmen.

Wenn man sich an das Prinzip hält "Name ist das was dransteht", dann kommt man hier aber auch nicht weiter. Denn an diesem Firmengebäude habe ich kein Hinweisschild gefunden, welches den Bewohner verrät. Selbst am Eingangstor nichts. Nur den Adressaufkleber "Messering 3". Aber die Website https://atruvia.de gibt Auskunft, wie sich das Unternehmen selbst nennt: "Wir sind Atruvia" (ohne AG!). 

Deswegen sehe ich im aktuellen Tagging des Namens keinen Fehler.
Aber man könnte das Thema erneut im (neuen) Forum zur Diskussion stellen. Da kann man dann sicher ganz unterschiedliche Meinungen hören.

Als Grund für den Umbenennungswunsch wurde genannt, dass man bei der Suche nach "Atruvia" nur diesen einen Treffer erhält. Das kann ich nicht nachvollziehen. Ich habe mit OsmAnd gesucht und 18 Treffer im Raum Karlsruhe gefunden. Zugeben muss man allerdings, dass fast alle davon das AG im Namen hatten. Aber die Mehrheit muss ja nicht immer recht haben :-).