$labels['nodevices'] = 'Es sind aktuell keine Geräte registriert.<br/><br/>Um ein Gerät zu registrieren, bitte zuerst nach der Anleitung von <a href="$url" target="_blank">dieser Seite</a> mit dem Server verbinden. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
+$labels['brokendevice'] = 'Dieses Gerät ist in einem defekten Zustand. Bitte setzen Sie das Gerät gemäss der Anleitung von <a href="$url" target="_blank">dieser Seite</a> zurück. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
$labels['savingdata'] = 'Daten werden gespeichert...';
$labels['savingerror'] = 'Fehler beim Speichern der Konfiguration';
$labels['notsupported'] = 'Ihr Server unterstützt keine Activesync-Konfiguration';
$labels['nodevices'] = 'Es sind aktuell keine Geräte registriert.<br/><br/>Um ein Gerät zu registrieren, bitte zuerst nach der Anleitung von <a href="$url" target="_blank">dieser Seite</a> mit dem Server verbinden. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
+$labels['brokendevice'] = 'Dieses Gerät ist in einem defekten Zustand. Bitte setzen Sie das Gerät gemäss der Anleitung von <a href="$url" target="_blank">dieser Seite</a> zurück. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
$labels['savingdata'] = 'Daten werden gespeichert...';
$labels['savingerror'] = 'Fehler beim Speichern';
$labels['notsupported'] = 'Ihr Server unterstützt keine Activesync-Konfiguration';
$labels['nodevices'] = 'Es sind aktuell keine Geräte registriert.<br/><br/>Um ein Gerät zu registrieren, bitte zuerst nach der Anleitung von <a href="$url" target="_blank">dieser Seite</a> mit dem Server verbinden. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
+$labels['brokendevice'] = 'Dieses Gerät ist in einem defekten Zustand. Bitte setzen Sie das Gerät gemäss der Anleitung von <a href="$url" target="_blank">dieser Seite</a> zurück. Anschließend sollte das Gerät für die Konfiguration hier zur Verfügung stehen.';
$labels['savingdata'] = 'Daten werden gespeichert...';
$labels['savingerror'] = 'Fehler beim Speichern der Konfiguration';
$labels['notsupported'] = 'Ihr Server unterstützt keine Activesync-Konfiguration';
$labels['nodevices'] = 'There are currently no devices registered.<br/><br/>In order to register a device, please connect it to the server first, using instructions from <a href="$url" target="_blank">this page</a>. Afterwards the device should become available for configuration here.';
+$labels['brokendevice'] = 'This device is currently in a broken state. Please reset it using instructions from <a href="$url" target="_blank">this page</a>. Afterwards the device should become available for configuration here again.';
$labels['savingdata'] = 'Saving data...';
$labels['savingerror'] = 'Failed to save configuration';
$labels['notsupported'] = 'Your server does not support metadata/annotations';