Which opera has more acts, Der Zwerg or Billy Budd?