that is

Wörterbuch

• that is

  das heißt