A . Stegmuller , Berlin.