You have the answer from the expert now.
But the reason you asked the question is that you still wanted some certainly after you had done your research. @piero has spent much time demonstating why there might be uncertainty !
You said
Gigaset brand is not referenced in your first link.
This is because you were reading what the forum creators call a “preview” – unhelpful in this case. If you care please just read the link (briefly) [HOWTO] Find device codename … there it is demonstrated that there are many ways to find the device codename and you can then check your device is an exact match with the build. Is why you asked your original question.