Adventures in ETHland: Quadratic Funding for Urban Services