Der Lake Barrina, ein Kratersee