How are Germans using two orders of magnitude more electricity than Americans?