Ostrom relies on powercloud: Effectively combining green electricity and smart technologies