For those who may have been curious like me, this was made in 1958. This explains the lack of the GDR emblem on its flag, since it was added in 1959.