de österrikiska sjöminornas verksamhet.