"Tridymit"@cs . "tridymit"@cs .