kommendörkapten Koren och premierlöjtnant Petersén.