• Thlosh@discuss.tchncs.deOP
    link
    fedilink
    arrow-up
    0
    arrow-down
    1
    ·
    5 months ago

    You’re kind of right. The German “Mammut” is short for “Wollhaarmammut” (the woolly mammoth). Maybe this longer version matches your expectations better. 😊