#let translations = (
  "en": (
    "theorem": "Theorem",
    "lemma": "Lemma",
    "corollary": "Corollary",
    "remark": "Remark",
    "proposition": "Proposition",
    "example": "Example",
    "definition": "Definition",
    "proof": "Proof"
  ),
  "de": (
    "theorem": "Satz",
    "lemma": "Lemma",
    "corollary": "Korollar",
    "remark": "Bemerkung",
    "proposition": "Proposition",
    "example": "Beispiel",
    "definition": "Definition",
    "proof": "Beweis"
  )
)
