Retusa mammillata (Philippi, 1880)