Eisenhüttenstadt: monitoring a shrinking German city