Patrick Lederer: Approximate Strategyproofness in Approval-Based Budget Division External Video-URL https://www.youtube.com/watch?v=H5Y4xl_i6nU Preview-Image Search Engine Exclude no