Germany’s shrinking industrial sector is increasingly reflected in employment figures