Αποστολή με SMS: Finite BRST–antiBRST transformations in Lagrangian formalism