Discotectonica discus (Philippi, 1844)