Liebherr in Ochsenhausen: Kurzarbeit bis Jahresende – Was nun?