Ernst Stueckelberg (1905-1984)