Slowenien übernimmt im Grenzstreit mit Kroatien Bucht von Piran