Looks like @jauke hasn't received any replies!