der lemannische see von dem der name alemannia kommt