Stamps_of_Germany_(BRD)_1972,_MiNr_715