„Pinocchio“ im Arnstädter Theater