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

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