Jezioro cerknickie, Cerknica, Słowenia