NGC 7380, Josef_Juncker