• Thlosh@discuss.tchncs.deOP
    link
    fedilink
    arrow-up
    2
    arrow-down
    1
    ·
    7 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. 😊