/** Returns the resolutiosn that can be used with the given TV format */