Problema con una cisterna empotrada "sin marca"

Resulta que tengo una cisterna empotrada en la pared con doble pulsador, de los cuales uno no funciona bien y además pierde agua... No tiene ninguna marca troquelada en ningún sitio (o yo no la veo), así que no sé dónde conseguir repuestos. En las grandes casas no saben nada y en alguna tienda más tampoco... Adjunto unas fotos a ver si alguien me echa una mano. Muchas gracias!