Looks like @dueren hasn't received any replies!