<?php
/*
    CREATIVE COMMONS - Attribution-No Derivative Works 3.0 Germany:
    - You may not alter, transform, or build upon this work.
    - Dieses Werk darf nicht bearbeitet oder in anderer Weise verändert werden.
*/
  echo DatumMitUhrzeitAusTimestamp($GigDateOfAdding);
  if ( $GigAddedFrom ) echo ' ('.$GigAddedFrom.')';
  if ( $GigDateOfAdding AND $FrontendType=='list' ) echo ', ';
?>