From 19be4f8a7797e5d28b84e574ceb9a9c43288de76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jeremias=20Bra=C3=9F?= <jbrass@uni-osnabrueck.de>
Date: Sun, 19 Jan 2025 18:01:42 +0100
Subject: [PATCH 1/2] Changes by Online Editor


From 53228183dc0a752763f86d2db7423b09cf6bdb71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jeremias=20Bra=C3=9F?= <jbrass@uni-osnabrueck.de>
Date: Sun, 19 Jan 2025 18:01:46 +0100
Subject: [PATCH 2/2] Changes by Online Editor