Noch mal herzlichen Dank für die Hinweise. Beim Überprüfen der entsprechenden Stellen habe ich ein paar Vereinfachungen im Code vornehmen können. Dabei ist given mit seinen Warnmeldungen erst mal eliminiert worden.