Looks like @kraus hasn't received any replies!