Looks like @dunkel hasn't received any replies!