Looks like @flummi hasn't received any replies!