Limax ecarinatus, Limacus maculatus, the same species.
From the en.wikipedia.org
Limax maximus was established first, so if Wiktor's 2001 classification is accepted, Limax maximus takes precedence over Limax maculatus and has to be used for the species.