Franc Anton pl. Steinberg, preiskovalec Cerkniškega jezera (Ob stopetdesetletnici njegove smrti (1684-1765))