Does this mean, I will have to correct this "bug" myself, provided it is one, of course?
 

Thanks. I did as you said, but the authenticator reported that the time was already in sync. Consequently nothing changed and Electrum still doesn't accept my request. Do you know of any support by Electrum itself?

Electrum is requesting a google authenticator code for signing a send transaction but none of the codes generated are accepted. Instead it displays a message "invalid otp". Thanks foe any idea.