Bummi (Junge Welt, 1972)