Wie heißen diese Dachsteine?

Hallo,

unser Haus ist von Baujahr 1895 und mit Betondachsteine in Rautenform gedeckt. Standort ist Kärnten in Österreich Weiß jemand, wie diese Ziegel/Steine/Platten exakt heißen und von wann diese ca. sein könnten?
Größe ist etwa 34x34cm und Stärke (ohne Rand/Nase) etwa 15mm. Material ist offensichtlich Beton.
Auf der Rückseite ist eine etwa erhabene Raute mit etwa 10 cm Kantenlänge als Logo ersichtlich.

Bekommt man da noch neue Ersatzsteine irgendwo?
Kann wer abschätzen, wie lange diese üblicherweise halten.
Da sie gut zum Haus passen, wäre eine Wiedereindeckung damit wünschenswert, geht uns dabei nicht um die Kosten sondern eher um die Optik bzw. die Originalität. Sollte aber nicht unverhältnismäßig sein (Sonder-Nachfertigung)
Vielen Dank,

 

Habe noch zwei Sachen vergessen anzugeben. Ein Stein wiegt etwa 3,7 kg, Lattungsabstand ist 21 cm