Der Gerichtshof übt seine Tätigkeit ständig aus. Die Dauer der Gerichtsferien wird vom Gerichtshof unter Berücksichtigung der dienstlichen Erfordernisse festgesetzt.