bug in Integer decoding beseitigt. Jetzt gehen auch negative integer.