Update 2020-08-18

Upgraded to version 4.13.3.
This resolved the tickets of the following versions:

• 4.13.3

This update consists exclusively of hotfixes.