bolagets benämning skulle förändras till Gernandts boktryckeriaktiebolag ,har