Just say that I had a friend, right, and this friend of mine was looking for something that he thinks was only released on vinyl by a (he thinks) now-defunct German label, but he does have the label number of this particular release. And take it as read that this friend of mine has done as much Google-ing as he can stand. Anyone got any good suggestions as to where to look?