Thunderbird: modify date and time formats

While my desktop PC runs the english version of Linux Mint, I wanted Thunderbird to use the day/month/year format for displaying dates. The way to do this is described here.