J . von Porat 7{