Looks like @gerhard hasn't received any replies yet!