Ich habe danach noch mindestens eine Stunde geübt und glaube jetzt, mit ziemlicher Sicherheit sagen zu können:
Das Pedal funktioniert wieder einwandfrei und wenn das gleiche Problem eines Tages bei irgendeiner anderen Pedaltaste auch auftritt, werde ich gleich wissen, was zu tun ist.