Arsenal (Militärverl. der DDR, 1982)