Spitzahornbäume im Mai im Palastpark