Looks like @pohly hasn't received any replies!