Merge branch 'spaeth/import_identity'
authorjospaeth <spaethj@in.tum.de>
Tue, 26 May 2020 07:08:09 +0000 (09:08 +0200)
committerjospaeth <spaethj@in.tum.de>
Tue, 26 May 2020 07:08:09 +0000 (09:08 +0200)

Trivial merge