Infraroodverwarming voor het repareren van fabrieksgereedschap