Wanneer trekt Duitse industrie ook aan?