Dresden 1972 - 9. Pieschener Hafenfest