Feierliche Setzung des Tritons am 15. Mai