How to find Xiaomi id

is there a way to find out the id of xiaomi devices? For some reason my openhab has trouble to autodetect my wireless mini switch while there has never been any trouble with other devices from xiaomi.
So I would like to add the switch manually but I need the id. I found a way to look it up in the app, but it seems to be an old way that is not working any more. Does anyone know a solution?

You could make a backup of the old mihome app and extract the database file.
everything is listed in this db file and it’s pretty helpful

It’s german but pretty easy to understand