What does "pralltriller" mean?

Pralltriller: A melodic embellishment consisting of the quick alternation of a principal tone with an auxiliary tone above it, usually the next of the scale; --called also the inverted mordente.

Sources