Can Digital Infrastructure Fit Into a Post-Growth Economy?