Cedrinum lignum Cedrinum lignum, so nannten die Alten das Ceder-holz. Einige Neuere aber geben Wacholderholz dafür.