AVM firmiert um – das Unternehmen heißt künftig Fritz!