Ttn-lw-cli: How to get DevAddr?

I am trying to get the current DevAddr of a device via ttn-lw-cli. Regrettably the documentation gave me no hint. Any ideas?

ttn-lw-cli dev get --application-id appid --device-id devid

yields a JSON struct with some information, including dev_eui and join_eui, but the session keys and devaddr are missing.

Ok, found it: add to the command…