Ik heb inmiddels het typenummer gevonden van de kraan (ik heb de thermostaatkraan op het oog geïdentificeerd, ik kon geen nummer vinden op de kraan zelf).
ref. nr: 34147000
EAN: 4005176803543
De vraag hoe ik het thermostaatdeel eruit kan halen staat nog.
Het is me zelf nog niet gelukt de thermostaat eruit te krijgen, maar het lijkt er op dat het een kwestie van voorzichtig hard genoeg trekken is (ja, dat is een beetje tegenstrijdig).
Hier is een filmpje waar de thermostaat eruit wordt gehaald (dit is overigens een iets ander type kraan dan ik heb, maar de thermostaat lijkt hetzelfde):