Looks like @berthold hasn't received any replies!