Looks like @friedrichk hasn't received any replies!