Der Froschprinz is the German dub of The Frog Prince.
Although it was produced in 1972, it would not air in Germany until the early 2000s.
The special aired only once, on December 27, 2001, on ZDF. It was never released on home video.
Muppet Wiki