Alfred Noether grave