Was auch immer es tatsächlich im Lateinischen abkürzen soll, die Übersetzung "das heißt" passt super und ist wohl auch richtig. Zumindest passt es gut zu dem Text, den ich gerade vor mir habe. Vielen Dank! :)