Wie lange darf ein Warnstreik sein?