# PID-spezifische Dateien sind standardmäßig NICHT ignoriert,
# da dieses Repo privat geteilt wird (handverlesene Collaborators).
#
# Wer seine PID-Datei NICHT pushen will:
#   echo "instances/" >> .git/info/exclude