Ich kann nur wenig über die ursprüngliche und heutige Nutzung finden. Daher bin ich deiner Argumentation gefolgt, da sie schlüssiger ist. Den Artikel habe ich dementsprechend umgestrickt. -- Eschenmoser 18:22, 4. Nov. 2018 (CET)