The difference between a glacial lake and a crater lake