Direct product of D8 and S3

Definition
This group is defined as the external direct product of the following two groups: defining ingredient::dihedral group:D8 and defining ingredient::symmetric group:S3.