lacustris ( Allman ).