The entry of Sound of Ibiza looks good.
Regarding XNK2076:
I'm pretty sure that she's uncredited in Hotel Fucking.
Her male partner is uncredited too. And both are the only ones who don't appear
in the big orgy scene at the end of the movie. So if one scene has been added as
some kind of "extra" then it was their scene.
Regarding Knight Rider:
You can compare the credits
here. The boxcover credits are better.
And they also have Nicole Niggemeyer as Nicole Edwards again.
Regarding Ivonne / Mara Bonner:
She's uncredited in Hotel Fucking also.
The name "Mara Bonner" came from "Gehorsame Sexdienerinnen" and it might
have appeared in other VIS movies too.
BTW: She's "Marga" in M?senpower while Biggi Mondi is "Brigitte"
(Biggi is the short version for the name Brigitte).
Regarding the credits of Girls Story's you might check
here.