[181] Cedrinum lignum, so nannten die Alten das Cederholz. Einige Neuere aber geben Wacholderholz dafür.