También fue el nombre de una empresa alemana, ("Tipp-Ex GmbH & Co.