( 4072 ) Juni-Häftet.