Looks like @bernsteinhaus hasn't received any replies!