How to design for happy public spaces? A new positive design tool is now available. Happy Public Spaces Booklet