{"shas":[["3d9facd4140ba6c54865bc6b6b5a6a62ddda34af","4e45ca7a231ad1434e3dcc8c9513c8f8dab00ffd@uni-duesseldorf.de","lstlisting mit ttfamily, Schriftgroesse 12pt","Janine Haas"]],"ref":"refs/heads/master","size":1,"head":"3d9facd4140ba6c54865bc6b6b5a6a62ddda34af","push_id":40349636}