@IndyRichard Yes, you are correct to include Hawaii (and Alaska, which also has its own time zone). The question then becomes whether to include Puerto Rico, which would bring it to 7. But I think 1930's Germany covers all US time zones however you count them.