How many U-boats did Germany lose in operations in World War II?