eller skall weridén färgås den 13 Juni 1857?