Cannot fork: Cannot allocate memory | BlockingInformParent

Begonnen von Burny4600, 14 Februar 2018, 10:33:06

Vorheriges Thema - Nächstes Thema

Wernieman

- Bitte um Input für Output
- When there is a Shell, there is a Way
- Wann war Dein letztes Backup?

Wie man Fragen stellt: https://tty1.net/smart-questions_de.html

Brice

Gleiches Problem habe ich seit vorgestern. Letzte Meldungen im Log sind

2018.03.15 23:02:31 1: Cannot fork: Cannot allocate memory
2018.03.15 23:01:10 1: PERL WARNING: Use of uninitialized value in string eq at ./FHEM/42_SYSMON.pm line 2867.
2018.03.15 23:01:10 1: PERL WARNING: Use of uninitialized value in int at ./FHEM/42_SYSMON.pm line 3635.
2018.03.15 23:00:58 2: PRESENCE (Stefan_Bluetooth) - error while processing check: no hcitool binary found. Please check that the bluez-package is properly installed
2018.03.15 23:00:58 1: PERL WARNING: Use of uninitialized value $hcitool in -x at ./FHEM/73_PRESENCE.pm line 957.
2018.03.15 23:00:58 1: PERL WARNING: Use of uninitialized value $hcitool in scalar chomp at ./FHEM/73_PRESENCE.pm line 955.
2018.03.15 23:00:58 1: PERL WARNING: Use of uninitialized value $hcitool in concatenation (.) or string at ./FHEM/73_PRESENCE.pm line 954.
2018.03.15 23:00:58 1: PERL WARNING: Use of uninitialized value in pattern match (m//) at ./FHEM/73_PRESENCE.pm line 941.
2018.03.15 22:59:51 2: PRESENCE (Angelika_Bluetooth) - error while processing check: no hcitool binary found. Please check that the bluez-package is properly installed
2018.03.15 22:59:51 1: PERL WARNING: Use of uninitialized value $hcitool in -x at ./FHEM/73_PRESENCE.pm line 957.
2018.03.15 22:59:51 1: PERL WARNING: Use of uninitialized value $hcitool in scalar chomp at ./FHEM/73_PRESENCE.pm line 955.
2018.03.15 22:59:51 1: PERL WARNING: Use of uninitialized value $hcitool in concatenation (.) or string at ./FHEM/73_PRESENCE.pm line 954.
2018.03.15 22:59:51 1: PERL WARNING: Use of uninitialized value in pattern match (m//) at ./FHEM/73_PRESENCE.pm line 941.
2018.03.15 22:56:10 2: PRESENCE (Angelika_Bluetooth) - error while processing check: no hcitool binary found. Please check that the bluez-package is properly installed
2018.03.15 22:56:10 1: PERL WARNING: Use of uninitialized value $hcitool in -x at ./FHEM/73_PRESENCE.pm line 957.
2018.03.15 22:56:10 1: PERL WARNING: Use of uninitialized value $hcitool in scalar chomp at ./FHEM/73_PRESENCE.pm line 955.
2018.03.15 22:56:10 1: PERL WARNING: Use of uninitialized value $hcitool in concatenation (.) or string at ./FHEM/73_PRESENCE.pm line 954.
2018.03.15 22:56:10 1: PERL WARNING: Use of uninitialized value in pattern match (m//) at ./FHEM/73_PRESENCE.pm line 941.
2018.03.15 22:55:09 1: PERL WARNING: Use of uninitialized value $devname in pattern match (m//) at ./FHEM/73_PRESENCE.pm line 982.
2018.03.15 22:55:09 1: PERL WARNING: Use of uninitialized value $devname in concatenation (.) or string at ./FHEM/73_PRESENCE.pm line 980.
2018.03.15 22:55:09 1: PERL WARNING: Use of uninitialized value $devname in scalar chomp at ./FHEM/73_PRESENCE.pm line 979.


Das Produktivsystem wird heute wieder unter Jessie Lite aufgesetzt.
FHEM auf RPi 4 4GB (Buster) | produktiv) CUL 868 für FS20 | S300TH | KS300 | Max!Cube als CUN 868 für TechemWZ | HM-MOD-RPI-PCB für HM | Z-Wave ZME_UZB1 | FRITZ!DECT 200 | HUE | Lightify | Echo Dot | WS3080

rudolfkoenig

Damit das Problem greifbarerer wird, versuche ich es zusammenfassen. Wenn ich was falsch verstanden habe, bitte korrigieren:
- nach einem update auf das am 10.3.2018 freigegebene Debian Stretch gibt es Speicherprobleme , die sich innerhalb weniger Stunden zu Fehlermeldungen beim fork fuehren: ein FHEM Prozess waechst in 18 Stunden von 110MB auf 360MB, in einem anderen Fall in 22 Stunden von 40MB auf 160MB.
- Systeme liefen bisher ohne Probleme auf Debian Jessie (wie lange maximal?)
- es betrifft nur RPis
- die FHEM-internen Speicherstrukturen (soweit es mit fhemdebug zu messen ist) sind nicht gewachsen
- es gibt bisher keine Hinweise darauf, an welcher Stelle der Speicher verlorengeht.

Wernieman

>>Was mich mal interessiert, welche PERL Versionen sind es eigentlich, über die wir hier sprechen?
- Bitte um Input für Output
- When there is a Shell, there is a Way
- Wann war Dein letztes Backup?

Wie man Fragen stellt: https://tty1.net/smart-questions_de.html

enno

Zitat von: Wernieman am 16 März 2018, 12:19:08
>>Was mich mal interessiert, welche PERL Versionen sind es eigentlich, über die wir hier sprechen?

Bei mir mit den gleichen "Memory" Problemen auf RPi 3 Stretch nur FHEM (von gestern) headless ohne andere zusätzlichen Prozesse ohne Swap mit Perl v5.24.1

Nach drei Tagen muss ich FHEM rebooten, dann wird mit SYSMON wieder freier Speicher angezeigt. Nach 4 Tagen stottert das System mit Memorymeldungen.

Ich beobachte zur Zeit folgende Module kritisch: SIP, Dblog, Tahoma und MPD. MPD werde ich dieses Wochenende mal auf einen anderen RPi "auslagern"...

Gruss
  Enno
Einfacher FHEM Anwender auf Intel®NUC

kaputt

Stretch is the development codename for Debian 9. It is the current stable distribution, released 2017-06-17
Stammt vom Debian Wiki.
Ich glaube auch nicht das dieses Problem ausschließlich ein Debian Stretch Problem ist! Denn dann wäre der Aufschrei schon lange zu hören gewesen.
Durchaus möglich das es eine Kombination aus vielen Kleinigkeiten ist, aber wer will das auseinanderdrösseln?
Deswegen auch meine Frage nach dem Swap!
Da keiner eingerichtet ist wäre es evtl. ein Weg um heraus zu finden ob hier ein echtes Problem vorliegt! Oder ob einfach nur ein Prozess mehr Speicher haben will als vorhanden ist.
Die swappiness dann mal auf 60 (ist glaube ich Default) setzten und schauen was passiert, 1GB ist ja jetzt nun mal nicht so der Brüller.
Nachteil wäre allerdings wenn er anfängt zu swapen dann wird das Ding schnarch langsam  :-[
Wenn ihr immer noch der Meinung seid es ist ein Bug dann hier hin https://www.debian.org/Bugs/Reporting
Gruß aus L.E.
Uwe

Bei U/Linux hilfreich aber nicht nötig, bei Windows nötig aber nicht hilfreich!
Rechtschreibfehler sind beabsichtigt und Ausdruck meiner Persönlichkeit

rudolfkoenig

ZitatDa keiner eingerichtet ist wäre es evtl. ein Weg um heraus zu finden ob hier ein echtes Problem vorliegt!
Das Problem ist ziemlich sicher vom Swap unabhaengig: es ist was falsch, wenn ein FHEM Prozess einer produktiven FHEM-Installation (d.h., wo man nicht staendig was Neues einbaut), innerhalb von einem Tag auf das 4-fache waechst.

kaputt

Zitat von: rudolfkoenig am 16 März 2018, 15:40:36
Das Problem ist ziemlich sicher vom Swap unabhaengig: es ist was falsch, wenn ein FHEM Prozess einer produktiven FHEM-Installation (d.h., wo man nicht staendig was Neues einbaut), innerhalb von einem Tag auf das 4-fache waechst.
Da will ich dir nicht wiedersprechen. Der Efekt wäre wenn mit Swap das System weiter läuft und bedienbar ist und es sich zeigt das der Prozess XY extrem viel Speicher benötigt hätte man/frau einen Ansatzpunkt!
Gruß aus L.E.
Uwe

Bei U/Linux hilfreich aber nicht nötig, bei Windows nötig aber nicht hilfreich!
Rechtschreibfehler sind beabsichtigt und Ausdruck meiner Persönlichkeit

Nighthawk

Hallo Rudi,

bei meinem System war und ist es unter Jessie so, das ich mehrere Wochen lang ohne Reboot auskomme, unter Stretch dauert es ~ 24 Stunden und dann muss rebootet werden.
Uneter Verdacht habe ich ebenfalls das DBLog, auf dem Produktivsystem kann / will ich es aber nicht deaktivieren.

CoolTux

Hat jemand von denjenigen mit dem Problem das Netatmo Modul definiert?
Du musst nicht wissen wie es geht! Du musst nur wissen wo es steht, wie es geht.
Support me to buy new test hardware for development: https://www.paypal.com/paypalme/MOldenburg
My FHEM Git: https://git.cooltux.net/FHEM/
Das TuxNet Wiki:
https://www.cooltux.net

Rewe2000

Hallo,

bei mir läuft Fhem auf dem Raspi3 mit Stretch nun seit 43 Stunden, zumindest ohne Fehler in Fhem.
Ich beobachte nach einiger Zeit immer wieder den freien Speicher vom Raspi, dieser schwankt zwischen 136 - 44 Mb in den letzten Stunden. Bei 50 Mb kamen in der Vergangenheit schon die Cannot fork Meldungen. Der Swap Speicher schwankt bei mir zwischen 99-50 MB.

Es könnte natürlich sein, dass auch in der letzten Zeit der freie Speicher schon so gering war, ich hatte nur nie nach den freien Speicher geschaut, erst als Fehler in Fhem aufgetreten sind, rückt dies in das Interesse. In der Vergangenheit ist der Raspi auch bei mir mehrere Wochen, ohne Reboot gelaufen.

Übrigens, folgendes Perl ist bei mir in Verwendung:
This is perl 5, version 24, subversion 1 (v5.24.1) built for arm-linux-gnueabihf-thread-multi-64int
(with 75 registered patches, see perl -V for more detail)


Ergänzung: Netamo ist bei mir nicht installiert.

Gruß Reinhard

Fhem 6.3 auf Raspberry Pi4 SSD mit Raspbian Bookworm, Homematic, Homematic IP, CCU3 mit RapberryMatic, WAGO 750-880, E3DC S10E Hauskraftwerk, E3DC Wallbox, my-PV AC ELWA-E Heizstab, Fritz!Box 7590, KIA Bluelinky

rudolfkoenig

Koennten bitte alle, die dieses Problem haben, die Ausgabe von version hier anhaengen?
Und wenn jemand unter Stretch keine Probleme hat, der sollte das bitte auch tun, aber dazuschreiben, dass es eben keine Probleme gibt.
Evtl. hilft uns danach die Mengenlehre weiter.

Rewe2000

Hallo,

Probleme mit "Cannot fork" unter RPI3 und Stretch.

Latest Revision: 16366

File                  Rev   Last Change

fhem.pl               16354 2018-03-09 07:31:31Z rudolfkoenig
57_ABFALL.pm          11020 2017-09-13 00:40:21Z uniqueck
96_allowed.pm         16295 2018-02-28 22:11:09Z rudolfkoenig
90_at.pm              15795 2018-01-05 20:46:21Z rudolfkoenig
98_autocreate.pm      15620 2017-12-16 18:10:36Z rudolfkoenig
57_Calendar.pm        15612 2017-12-15 09:26:59Z neubert
00_CUL.pm             15027 2017-09-08 09:11:43Z rudolfkoenig
10_CUL_HM.pm          16258 2018-02-24 22:11:14Z martinp876
93_DbLog.pm           16336 2018-03-05 21:55:44Z DS_Starter
93_DbRep.pm           16347 2018-03-07 20:29:44Z DS_Starter
98_DOIF.pm            16182 2018-02-14 21:36:04Z Damian
98_dummy.pm           12700 2016-12-02 16:49:42Z rudolfkoenig
91_eventTypes.pm      14888 2017-08-13 12:07:12Z rudolfkoenig
00_FBAHAHTTP.pm       16344 2018-03-06 21:06:34Z rudolfkoenig
10_FBDECT.pm          16293 2018-02-28 21:33:57Z rudolfkoenig
01_FHEMWEB.pm         16350 2018-03-07 21:30:37Z rudolfkoenig
92_FileLog.pm         15874 2018-01-13 17:16:33Z rudolfkoenig
88_HMCCU.pm           16298 2018-03-01 08:04:35Z zap
88_HMCCUDEV.pm        16038 2018-01-29 16:07:43Z zap
88_HMCCURPCPROC.pm    16165 2018-02-13 10:55:01Z zap
98_HTTPMOD.pm         16216 2018-02-18 15:26:11Z StefanStrobel
02_HTTPSRV.pm         13976 2017-04-12 13:35:44Z neubert
98_JsonList2.pm       16293 2018-02-28 21:33:57Z rudolfkoenig
37_ModbusCoil.pm         14 2017-01-14 16:46:00Z ChrisD
37_ModbusRegister.pm     24 2018-02-06 21:22:00Z CD
# $Id: 36_ModbusTCPServer.pm 0021 $
91_notify.pm          15937 2018-01-20 13:43:28Z rudolfkoenig
No Id found for 99_perfmon.pm
59_PROPLANTA.pm       15358 2017-10-30 20:04:27Z tupol
70_Pushover.pm        16358 2018-03-09 09:58:05Z loredo
33_readingsGroup.pm   16299 2018-03-01 08:06:55Z justme1968
96_SIP.pm             15827 2018-01-08 18:36:07Z Wzut
99_SUNRISE_EL.pm      16266 2018-02-25 18:22:51Z rudolfkoenig
98_SVG.pm             16293 2018-02-28 21:33:57Z rudolfkoenig
98_telnet.pm          16293 2018-02-28 21:33:57Z rudolfkoenig
98_Text2Speech.pm     13704 2017-03-14 19:33:42Z Tobias.Faust
99_Utils.pm           15713 2017-12-28 11:01:02Z rudolfkoenig
98_version.pm         15140 2017-09-26 09:20:09Z markusbloch
98_weblink.pm         16293 2018-02-28 21:33:57Z rudolfkoenig

ABFALL_getEvents.pm   11021 2017-09-13 00:32:22Z uniqueck
ABFALL_setUpdate.pm   11021 2017-09-13 00:32:22Z uniqueck
Blocking.pm           15412 2017-11-09 14:34:29Z rudolfkoenig
Color.pm              11159 2016-03-30 16:08:06Z justme1968
DevIo.pm              16329 2018-03-04 20:18:08Z rudolfkoenig
FritzBoxUtils.pm      16344 2018-03-06 21:06:34Z rudolfkoenig
HMCCUConf.pm          16301 2018-03-01 10:47:08Z zap
HMConfig.pm           16265 2018-02-25 18:22:43Z martinp876
HttpUtils.pm          16343 2018-03-06 20:44:37Z rudolfkoenig
Info.pm                  28 2008-11-09 01:08:44Z dsully
myUtilsTemplate.pm     7570 2015-01-14 18:31:44Z rudolfkoenig
RTypes.pm             10476 2016-01-12 21:03:33Z borisneubert
SetExtensions.pm      16211 2018-02-18 11:59:09Z rudolfkoenig
SubProcess.pm         14334 2017-05-20 23:11:06Z neubert
TcpServerUtils.pm     15707 2017-12-27 14:41:21Z rudolfkoenig

doif.js                    15546 2017-12-03 09:57:42Z Ellert
fhemweb.js                 16348 2018-03-07 21:02:42Z rudolfkoenig
fhemweb_readingsGroup.js   15189 2017-10-03 17:53:27Z justme1968



Gruß Reinhard
Fhem 6.3 auf Raspberry Pi4 SSD mit Raspbian Bookworm, Homematic, Homematic IP, CCU3 mit RapberryMatic, WAGO 750-880, E3DC S10E Hauskraftwerk, E3DC Wallbox, my-PV AC ELWA-E Heizstab, Fritz!Box 7590, KIA Bluelinky

Burny4600

#58
Zitat von: rudolfkoenig am 16 März 2018, 09:06:23
- nach einem update auf das am 10.3.2018 freigegebene Debian Stretch gibt es Speicherprobleme
Diese Probleme bestanden auch bei vorherigen Lite Stretch.
Der Rest passt.

Wie in einem meiner vorherigen List ersichtlich verwende ich die Perl_version V5.24.1.
Wie rufe ich das kern.log in diesem Zustand auf der Konsole auf.

Mit Swap und DBLog kann es eigentlich auch nicht zusammenhängen, den beides verwende ich nicht.
Laufzeit des Systems ungefähr 24 Stunden, dann ist ein Reboot des Systems notwendig.
In den Sysmon Plots sieht wie der Ramspeicher immer mehr belastet wird bis dann das System immer mehr laut den Plots Speicher verliert und dann plötzlich überhaupt keinen Speicher welcher Art auch immer anzeigt unter FHEM.
Laut Konsole free -m hat sich aber am Speicher nichts geändert.

Cannot fork mit dieser Version:

Latest Revision: 16414

File                Rev   Last Change

fhem.pl             16403 2018-03-13 21:16:06Z rudolfkoenig
96_allowed.pm       16295 2018-02-28 22:11:09Z rudolfkoenig
95_Astro.pm         15508 2017-11-27 15:24:42Z phenning
90_at.pm            15795 2018-01-05 20:46:21Z rudolfkoenig
98_autocreate.pm    15620 2017-12-16 18:10:36Z rudolfkoenig
98_cloneDummy.pm    13015 2017-01-08 20:26:33Z betateilchen
00_CUL.pm           15027 2017-09-08 09:11:43Z rudolfkoenig
10_CUL_HM.pm        16258 2018-02-24 22:11:14Z martinp876
No Id found for 14_CUL_REDIRECT.pm
14_CUL_TCM97001.pm  16274 2018-02-25 20:42:39Z bjoernh
14_CUL_TX.pm        14784 2017-07-25 15:06:43Z rudolfkoenig
14_CUL_WS.pm        15603 2017-12-13 20:53:47Z rudolfkoenig
98_dewpoint.pm      15927 2018-01-19 15:46:47Z hotbso
98_DOIF.pm          16406 2018-03-14 18:02:13Z Damian
98_dummy.pm         12700 2016-12-02 16:49:42Z rudolfkoenig
70_ENIGMA2.pm       14985 2017-09-01 11:18:48Z loredo
91_eventTypes.pm    14888 2017-08-13 12:07:12Z rudolfkoenig
93_FHEM2FHEM.pm     15006 2017-09-05 09:37:33Z rudolfkoenig
01_FHEMWEB.pm       16407 2018-03-14 19:43:35Z rudolfkoenig
11_FHT.pm           16293 2018-02-28 21:33:57Z rudolfkoenig
92_FileLog.pm       15874 2018-01-13 17:16:33Z rudolfkoenig
95_FLOORPLAN.pm     13735 2017-03-19 12:43:53Z UliM
10_FS20.pm          14888 2017-08-13 12:07:12Z rudolfkoenig
No Id found for 58_GPIO4.pm
98_help.pm          15223 2017-10-10 10:14:24Z betateilchen
14_Hideki.pm        15450 2017-11-18 21:34:47Z Sidey
98_HMinfo.pm        16225 2018-02-19 19:23:47Z martinp876
12_HMS.pm           15027 2017-09-08 09:11:43Z rudolfkoenig
00_HMUARTLGW.pm     16166 2018-02-13 19:52:08Z mgernoth
95_holiday.pm       16293 2018-02-28 21:33:57Z rudolfkoenig
98_HourCounter.pm   11307 2016-04-25 08:02:06Z rudolfkoenig
98_HTTPMOD.pm       16216 2018-02-18 15:26:11Z StefanStrobel
52_I2C_MCP23017.pm  12059 2016-08-22 21:14:59Z klauswitt
No Id found for 52_I2C_SUSV.pm
10_IT.pm            14852 2017-08-06 08:48:24Z bjoernh
70_JSONMETER.pm     16360 2018-03-09 14:18:10Z tupol
13_KS300.pm         15627 2017-12-17 11:00:46Z rudolfkoenig
98_logProxy.pm      16299 2018-03-01 08:06:55Z justme1968
# $Id: 99_myUtils.pm  2016-09-25  V1.0  Christian Schmidt $
99_myUtils_Astro.pm    11 2017-07-15 00:00:00Z Fhemmike
91_notify.pm        15937 2018-01-20 13:43:28Z rudolfkoenig
41_OREGON.pm        12928 2017-01-02 00:23:46Z Sidey
No Id found for 99_perfmon.pm
59_PROPLANTA.pm     15358 2017-10-30 20:04:27Z tupol
33_readingsGroup.pm 16299 2018-03-01 08:06:55Z justme1968
33_readingsProxy.pm 16299 2018-03-01 08:06:55Z justme1968
# $Id: 44_ROLLO.pm 1202 2016-08-29 19:14:00Z                                         $ #
00_RPII2C.pm        15021 2017-09-06 19:48:55Z klausw
51_RPI_GPIO.pm      15821 2018-01-07 21:36:43Z klausw
# $Id: 14_SD_UT.pm 32 2016-04-02 14:00:00 v3.2-dev $
14_SD_WS07.pm       15450 2017-11-18 21:34:47Z Sidey
91_sequence.pm      14996 2017-09-03 15:20:42Z rudolfkoenig
No Id found for 99_sethmkey.pm
00_SIGNALduino.pm   16390 2018-03-11 22:22:56Z Sidey
10_SOMFY.pm         15807 2018-01-06 23:32:41Z viegener
99_SUNRISE_EL.pm    16266 2018-02-25 18:22:51Z rudolfkoenig
98_SVG.pm           16402 2018-03-13 21:14:22Z rudolfkoenig
42_SYSMON.pm        15910 2018-01-16 23:07:56Z hexenmeister
98_telnet.pm        16293 2018-02-28 21:33:57Z rudolfkoenig
45_TRX.pm           11456 2016-05-15 20:19:24Z wherzig
46_TRX_ELSE.pm      11451 2016-05-15 19:04:06Z wherzig
46_TRX_LIGHT.pm     11592 2016-06-01 21:15:30Z wherzig
46_TRX_SECURITY.pm  11452 2016-05-15 19:05:17Z wherzig
46_TRX_WEATHER.pm   11450 2016-05-15 19:03:23Z wherzig
59_Twilight.pm      16005 2018-01-27 06:05:51Z igami
10_UNIRoll.pm       12819 2016-12-18 14:27:48Z C_Herrmann
99_Utils.pm         15713 2017-12-28 11:01:02Z rudolfkoenig
98_version.pm       15140 2017-09-26 09:20:09Z markusbloch
98_weblink.pm       16293 2018-02-28 21:33:57Z rudolfkoenig

Blocking.pm         15412 2017-11-09 14:34:29Z rudolfkoenig
Color.pm            11159 2016-03-30 16:08:06Z justme1968
DevIo.pm            16329 2018-03-04 20:18:08Z rudolfkoenig
HMConfig.pm         16265 2018-02-25 18:22:43Z martinp876
HttpUtils.pm        16407 2018-03-14 19:43:35Z rudolfkoenig
RTypes.pm           10476 2016-01-12 21:03:33Z borisneubert
SetExtensions.pm    16211 2018-02-18 11:59:09Z rudolfkoenig
TcpServerUtils.pm   15707 2017-12-27 14:41:21Z rudolfkoenig

doif.js                    15546 2017-12-03 09:57:42Z Ellert
fhemweb.js                 16348 2018-03-07 21:02:42Z rudolfkoenig
fhemweb_readingsGroup.js   15189 2017-10-03 17:53:27Z justme1968
Mfg Chris

Raspberry Pi 2/2+/3/3+/4 / Betriebssystem: Bullseye Lite
Schnittstellen: RFXtrx433E, SIGNALduino, MQTT, nanoCUL, HM-MOD-UART, 1-Wire, LAN, ser2net, FHEM2FEHEM
Devices: S.USV, APC-USV, Fronius Datalogger Web 2, FS20, IT, Resol VBUS & DL2, TEK603, WMR200, YouLess, Homematic, MQTT

jailbreaker07

Zitat von: rudolfkoenig am 16 März 2018, 16:39:47
Koennten bitte alle, die dieses Problem haben, die Ausgabe von version hier anhaengen?
Und wenn jemand unter Stretch keine Probleme hat, der sollte das bitte auch tun, aber dazuschreiben, dass es eben keine Probleme gibt.
Evtl. hilft uns danach die Mengenlehre weiter.

Wie bekomme ich die Version heraus?