@knurd42 Cool. Do you by any chance recall if it was on broadcast TV in Germany (vs, say, paid cable)? Just the fact that it was aired roughly contemporaneously is a big deal; not all TV exports got that, much less found an audience....