Update Design

Design.md

@@ -40,14 +40,15 @@ Ein MP3-Dekoder sowie ein Treiber für den I2S-DAC laufen außerhalb von MicroPy
 Prozessor des RP2040, um die Audioausgabe ohne Aussetzer sicherzustellen. Die Ansteuerung des
 MP3-Players erfolgt über ein Python-Modul.
 
-*TODO: Treiber für RC522 ?*
+### Treiber für MFRC522 
 - https://github.com/miguelbalboa/rfid
   Ist halt Arduino-C++. Wird nicht mehr maintained. Verweist für neue Designs auf...
 - ... https://github.com/OSSLibraries/Arduino_MFRC522v2
   Ebenfalls Arduino-C++. Schlecht maintained, grauenhafter Arduino-Style (spätestens hier bekommt man Pickel: https://github.com/OSSLibraries/Arduino_MFRC522v2/blob/1bebfc9bbe355ddc5f1244cf830f2ca57b14a661/src/MFRC522v2.cpp#L52), enthält aber ein paar nützliche Infos (z.B. Hinweis auf eine Magic Byte Sequence, mit der man die UID chinesischer Mifare-Chips ändern kann. Für dieses Projekt aber vmtl. irrelevant.).
 - https://github.com/libdriver/mfrc522
   Code sieht ein bisschen Automotive aus, folgt teilweise den MISRA-Regeln. Autor hat sich hier ne Menge Mühe gemacht, aber frei von Antipatterns und fehlender Generalisierung ist der Code nicht (siehe z.B. beinahe identische Funktionen mfrc522_get_test_analog_control_aux_1() vs mfrc522_get_test_analog_control_aux_2()...)
-- ...
+- https://github.com/danjperron/micropython-mfrc522.git
+  Code ist eher schwierig nachzuvollziehen, funktoiniert aber auf Anhieb mit micropython und dem RP2040 (ein passendes Beispiel liefert das Repo mit). **Vorerst fällt die Entscheidung, diese Bibliothek zu benutzen** und - soweit möglich - mit asyncio zu benutzen, bis wir an eventuelle Performancegrenzen stoßen und eine bessere Lösung brauchen.
 
 Um die als Webanwendung angebotene Benutzeroberfläche des TonBERRY auszuliefern, sowie um die API
 die zur Ansteuerung des TonBERRY dient anzubieten wird das