Lago di Garda, Gardasee