The Leonhardt Lagoon