Hi,
beim Tauchen könne der Schleim aus dem Rachenraum kommen. Das Auge steht ja über Gänge mit dem Nasen-rachenraum in direkter Verbindung. Durch Druckdifferenzen zwischen Maske und Rachenraum könnte Nasensekret in den Augenbereich kommen.
Bei der Sauna würde ich es eher auf die extrem hohe Verdunstung der Tränenflüssigkeit zurückführen, wobei die Feststoffe in de Tränenflüssigkeit im Auge zurückbleiben.
A.