Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > de.sci.electronics > #319390

Re: NIHS

From Josef Moellers <josef.moellers@invalid.invalid>
Newsgroups de.sci.electronics
Subject Re: NIHS
Date 2022-04-01 08:44 +0200
Message-ID <janlauFtmh0U1@mid.individual.net> (permalink)
References (10 earlier) <t1t5qb$2khn$1@solani.org> <jafrdoFecq7U1@mid.individual.net> <t1v0na$3kjj$1@solani.org> <jah026Fl9i0U1@mid.individual.net> <t241ho$it9s$1@news1.tnib.de>

Show all headers | View raw

On 31.03.22 12:59, Marc Haber wrote:
> Josef Moellers <josef.moellers@invalid.invalid> wrote:
>> Nein. Es gibt keinen Test, der die Korrektheit eines Codes (d.h.
>> Algorithmus UND Implementation) *beweisen* kann!
>> Das ist allgemein bekannt und ich möchte mal behaupten, dessen sind sich
>> die Entwickler des Codes auch bewußt.
> 
> Die theoretische Informatik wird Dir da seit 40 Jahren vehement
> widersprechen.

Seltsam ... tut sie nicht.

> Die Problematik ist halt, dass die formale Verifikation eines
> Programms auf Spezifikationsgerechtheit und korrekter Implementation
> schreiend aufwendig ist und nur dann Sinn ergibt, wenn man das
> Programm dann mit einem verifizierten Compiler übersetzt, mit
> verifizierten Libraries linkt und auf einer mit verifizierter Firmware
> versorgten verifizierten CPU ausführt.

Es wird da eine zweistufige Vorgehensweise geben:
1) Die Korrektheit des Algorithmus' wird formal mathematisch-logisch 
bewiesen
2) Jede Implementation wird mittels aufwendiger Tests *verifiziert*.
D.h. es besteht immer noch die Möglichkeit, daß ein *Implementation* 
nicht korrekt ist.
Für einen sicherheitskritischen Algorithmus, wie es ein 
verschlüsselungsverfahren ist, erwarte ich Ersteres.

> Und _DAS_ ist ein Beschaffungsproblem.

Im Endeffekt ist alles eine Kostenfrage. Auch der formale Beweis der 
Korrektheit eines Algorithmus und dann auch noch der Implementation 
scheitert i.d.R. an den Kosten.

Josef

Back to de.sci.electronics | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört! Arno Welzel <usenet@arnowelzel.de> - 2022-03-12 19:37 +0100
  Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört! Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-12 19:52 +0100
    OT: Aussagen über dicke Menschen (was: Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört!) Arno Welzel <usenet@arnowelzel.de> - 2022-03-13 15:18 +0100
      Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-13 22:15 +0100
        Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-14 02:28 +0100
          Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-14 13:15 +0100
            Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-14 14:04 +0100
        Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-03-14 15:01 +0100
          Re: OT: Aussagen über dicke Menschen Reinhardt Behm <rbehm@hushmail.com> - 2022-03-14 15:01 +0000
          Re: OT: Aussagen über dicke Menschen Alfred Gemsa <gemsa@gmx.de> - 2022-03-14 17:28 +0100
          Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-14 19:49 +0100
            Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-03-25 17:10 +0100
              Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 17:42 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 17:57 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 18:35 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 20:49 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 21:08 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 22:30 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-26 14:16 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-26 23:59 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 04:25 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 13:24 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:52 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 13:54 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:26 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:49 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:10 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:11 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:33 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:11 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:37 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:37 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:09 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:29 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:14 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:39 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-06 19:03 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:10 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-06 19:16 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:39 +0200
                NIHS (was: OT: Aussagen über dicke Menschen) Volker Bartheld <news2022@bartheld.net> - 2022-03-27 10:13 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-27 11:39 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-28 09:29 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-28 15:28 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-28 20:23 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-28 22:29 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-29 09:39 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-29 09:48 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 12:35 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:39 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 14:49 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:14 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 18:11 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 19:10 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 15:14 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-29 20:04 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:02 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-30 09:34 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 13:36 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-30 14:32 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-30 15:01 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-30 16:11 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-30 18:10 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-03-30 18:21 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-31 13:16 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-03-31 13:29 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-04-01 15:53 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-04-01 15:58 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 17:05 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 17:07 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-04-02 13:32 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 21:04 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-30 10:19 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 14:02 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-03-31 12:59 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-03-31 13:05 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-31 13:28 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-31 15:14 +0000
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-03-31 20:42 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-04-01 13:21 +0000
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-31 18:23 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 11:03 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 11:18 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 11:48 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 12:54 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-04-01 11:36 +0000
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 15:35 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 18:20 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 18:33 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 19:19 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:25 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-04-05 13:01 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:12 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:17 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:51 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:42 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:43 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:20 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-06 18:24 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:04 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:49 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-02 13:30 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:23 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 18:10 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:03 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-05 17:13 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:22 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-04-06 08:59 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-04-06 09:58 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 13:45 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-06 22:38 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 23:31 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 13:18 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 13:58 +0200
                Re: NIHS Rolf Bombach <rolfnospambombach@invalid.invalid> - 2022-04-01 19:24 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-04-01 08:44 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-30 14:57 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 15:07 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-03-30 16:13 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 20:57 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-31 07:52 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-31 14:39 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 12:03 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-02 14:05 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:32 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:53 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:10 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:39 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-05 14:48 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:49 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:50 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:09 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:01 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 12:32 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:34 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 14:52 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:33 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-29 17:58 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 19:04 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-29 20:34 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:10 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 09:57 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:28 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-29 11:21 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 13:44 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 14:42 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:02 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 18:13 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-29 23:35 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:28 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-05 17:16 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:42 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-04-05 18:44 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:51 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:36 +0200
                Re: OT: Aussagen über dicke Menschen Axel Berger <Spam@Berger-Odenthal.De> - 2022-03-27 13:56 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 14:57 +0200
                Re: OT: Aussagen über dicke Menschen Volker Bartheld <news2022@bartheld.net> - 2022-03-27 22:17 +0200
                Re: OT: Aussagen über dicke Menschen Volker Bartheld <news2022@bartheld.net> - 2022-03-27 22:21 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-28 07:12 +0200
                Re: OT: Aussagen über dicke Menschen Andreas Neumann <an5275@sedo.com> - 2022-03-27 19:10 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 19:47 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:46 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 13:45 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:25 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:45 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:09 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 15:00 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:16 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:37 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:08 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:55 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:58 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:42 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 12:40 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 15:01 +0200
              Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-26 00:00 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-26 14:20 +0100
                Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-27 11:47 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 11:55 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 13:23 +0200
                Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-27 14:56 +0200

csiph-web