[When at the end of the Hitler war]