"Minol ist seit 1949 ein deutscher Markenname für Mineralölprodukte. Der Name besteht aus den beiden Anfangssilben von Mineralöl und Oleum (lat. Öl)." - (de.wikipedia.org 10.08.2021)
