4.
4.1.
Am 1. Juni 2002 ist das Abkommen vom 21. Juni 1999 zwischen der
Schweizerischen Eidgenossenschaft einerseits und der Europäischen Gemeinschaft und ihren Mitgliedstaaten andererseits über die Freizügigkeit
(FZA; SR 0.142.112.681) in Kraft getreten. Einen Bestandteil des Abkommens bildet gemäss Art. 15 FZA der Anhang II. Laut Anhang II Abschnitt A
wenden die Vertragsparteien untereinander insbesondere die Verordnung
(EG) Nr. 883/2004 des Europäischen Parlaments und des Rates vom
29. April 2004 zur Koordinierung der Systeme der sozialen Sicherheit
(SR 0.831.109.268.1; Grundverordnung [GVO]) sowie die Verordnung
(EG)