code: public Optional<BigInteger> getNummer() {
          if (nummer == null) {
              return Optional.empty();
          } else {
              return Optional.of(nummer);
          }
      }
docs: Liefert die Postfach-Nummer als normale Zahl. Da die Nummer optional
  sein kann, wird sie als {@link Optional} zurueckgeliefert.
  
  @return z.B. 815