For your information: they’re from the same batch as these: https://www.parosphromenus-project.org/fr/forum-2/9-Trade/1464-p-sumatranus-mixed-with-bintan-in-nederland.html?start=12
https://www.parosphromenus-project.org/fr/forum-2/26-Pictures/1509-p-sumatranus-probably.html https://www.youtube.com/watch?v=GjU75Vgrr8s
The fish in question strongly resemble this one: http://www.igl-home.de/forum/gallery/image_page.php?album_id=7&image_id=186&sk=t&sd=d&st=0