@StwGiessen Die (leider deutlich entferntere) Alternative, das ehem. Otto-Eger-Heim ist nur leider geschlossen.