So ich hab als erste Maßnahme nun auch den Mini Adapter bestellt. Gibts bei Amazon derzeit mit Gutschein für unter 100€.
Als Kabel hab ich das hier genommen: https://www.amazon.de/gp/produ…tle_o00_s00?ie=UTF8&psc=1 (Unsere Seite enthält Affiliate-Links, für die unser Forum möglicherweise eine Vergütung bekommt.)
Zum verbauen hab ich den USB C Stecker vom Adapter bei leicht geschlossener Klappe darunter gefummelt, so ist genug Platz.
Die Klappe geht so auch ohne Probleme zu.
Hier Bilder dazu: