Ingersoll selbst ist eine relativ alte Marke aus den USA, die schon in den 30ern produziert hat. Vermutlich hat da jemand irgendwann mal die Rechte gekauft oder denNamen ausgeschlachtet.