Thüringer Maschinenbau knackt 2023 den Umsatzrekord aus dem Vorjahr