An existence theorem for group divisible 3-designs of large order