mobile Hebebühne (DDR)