When have there been industry union strikes in Germany? And I don't mean of services like garbage collection, train or air travel.