Dirk Beyer, Henrik Wachowitz: CoVeriTeam Release 1.2.3 (with FM-Tools 2.0). Zenodo 2024